spec_trans(root,'$initialise_machine',0).
spec_trans(0,'triangle_type_test1(1,1,1)',0).
spec_trans(0,'triangle_type_test3(2,1,1)',0).
spec_trans(0,'triangle_type_test5(3,2,2)',0).
spec_max_reached_for_node(root).
spec_max_reached_for_node(0).
spec_not_all_transitions_added(_) :-
        fail.
spec_completely_explored :-
        fail.
